var class_time_counter =
[
    [ "TimeCounter", "class_time_counter.html#a2be677c8281f27c4dffd29c7f2ca6e7e", null ],
    [ "Read", "class_time_counter.html#a3b89b912076104990fb33e259112a259", null ],
    [ "Start", "class_time_counter.html#a7ddd243fdb3b888b7a464336be1e8e86", null ]
];